Stone duality

Results: 33



#Item
21TOWARDS STONE DUALITY FOR TOPOLOGICAL THEORIES DIRK HOFMANN AND ISAR STUBBE Abstract. In the context of categorical topology, more precisely that of T-categories [Hof07], we define the notion of T-colimit as a particular

TOWARDS STONE DUALITY FOR TOPOLOGICAL THEORIES DIRK HOFMANN AND ISAR STUBBE Abstract. In the context of categorical topology, more precisely that of T-categories [Hof07], we define the notion of T-colimit as a particular

Add to Reading List

Source URL: www-lmpa.univ-littoral.fr

Language: English - Date: 2010-10-28 07:33:08
    22Electronic Notes in Theoretical Computer Sciencehttp://www.elsevier.nl/locate/entcs/volume87.html 150 pages Synthetic topology of data types and classical spaces Mart´ın Escard´o

    Electronic Notes in Theoretical Computer Sciencehttp://www.elsevier.nl/locate/entcs/volume87.html 150 pages Synthetic topology of data types and classical spaces Mart´ın Escard´o

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English
    23Algebraic logic / Algebraic structures / Universal algebra / Boolean algebra / Variety / Subdirectly irreducible algebra / Representation theory / Model theory / Stone duality / Abstract algebra / Mathematics / Algebra

    The Millennium Edition Stanley Burris H. P. Sankappanavar A Course in

    Add to Reading List

    Source URL: cdn.preterhuman.net

    Language: English - Date: 2012-10-01 14:51:33
    24Theory and Applications of Categories, Vol. 28, No. 16, 2013, pp. 435–475.  BOUNDED ARCHIMEDEAN `-ALGEBRAS AND GELFAND-NEUMARK-STONE DUALITY GURAM BEZHANISHVILI, PATRICK J. MORANDI, BRUCE OLBERDING Abstract. By Gelfand

    Theory and Applications of Categories, Vol. 28, No. 16, 2013, pp. 435–475. BOUNDED ARCHIMEDEAN `-ALGEBRAS AND GELFAND-NEUMARK-STONE DUALITY GURAM BEZHANISHVILI, PATRICK J. MORANDI, BRUCE OLBERDING Abstract. By Gelfand

    Add to Reading List

    Source URL: www.emis.de

    Language: English - Date: 2013-07-15 13:09:00
    25arXiv:1008.3145v1  [math.LO]  18 Aug 2010

    arXiv:1008.3145v1 [math.LO] 18 Aug 2010

    Add to Reading List

    Source URL: www.andrew.cmu.edu

    Language: English - Date: 2014-06-01 15:27:23
    26Group Representations and Harmonic Analysis from Euler to

    Group Representations and Harmonic Analysis from Euler to

    Add to Reading List

    Source URL: www.math.sunysb.edu

    Language: English - Date: 2006-10-02 18:47:01
    27Domain Theory In Logical Form  Samson Abramsky

    Domain Theory In Logical Form Samson Abramsky

    Add to Reading List

    Source URL: www.cs.ox.ac.uk

    Language: English - Date: 2013-06-06 21:32:35
    28Non-Artin Gluing in Recursion Theory and Lifting in Abstract Stone Duality Paul Taylor

    Non-Artin Gluing in Recursion Theory and Lifting in Abstract Stone Duality Paul Taylor

    Add to Reading List

    Source URL: www.paultaylor.eu

    Language: English - Date: 2009-02-12 13:04:10
    29Synthetic topology of data types and classical spaces Mart´ın Escard´o

    Synthetic topology of data types and classical spaces Mart´ın Escard´o

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2005-07-08 11:02:47
    30THE STEPPING STONE MODEL OF POPULATION STRUCTURE AND THE DECREASE OF GENETIC CORRELATION WITH DISTANCE1 MOT00 KIMURA2 and GEORGE H. WEISSS

    THE STEPPING STONE MODEL OF POPULATION STRUCTURE AND THE DECREASE OF GENETIC CORRELATION WITH DISTANCE1 MOT00 KIMURA2 and GEORGE H. WEISSS

    Add to Reading List

    Source URL: www.ncbi.nlm.nih.gov

    Language: English